منابع مشابه
Datenflussanalyse als Modelchecking im jABC
Dieses Papier beschreibt wie das jABC (eine generische Umgebung für bibliotheksbasierte Programmentwicklung) zusammen mit zwei seiner Plugins (der Modelchecker und ein Flussgraph-Konverter) ein Framework, DFA-MC, für intraprozedurale Datenflussanalyse als Modelchecking bildet. Basierend auf Funktionalitäten, die von der Programmanalyseplattform Soot bereitgestellt werden, generiert der Konverte...
متن کاملBenutzeranforderungen als Zentrum und Treiber im Portalbauprozess
Die Umsetzung eines Portals ist eine technisch schwierige und komplexe Aufgabe. Dennoch resultieren die schlimmsten Mängel des Endprodukts meist nicht aus technischen Fehlern, sondern von falsch oder unvollständig ermittelten oder umgesetzten Anforderungen. Dieser Beitrag beschreibt technische Maßnahmen, mit deren Hilfe die Anforderungsbestimmung beim Portalbau so mit der technischen Umsetzung ...
متن کاملGesundheitsinformationen im Internet - Infoleitsysteme als Lösungsansatz
Mit der Nutzung des Internets als selbstverständlichem Informationsmedium zu allen Fragen der Gesundheit ist die Bereitstellung und die Hinführung zu qualitätsvollen Gesundheitsinformation für Bürgerinnen und Bürger, Patientinnen und Patienten zu einer zunehmend wichtigen Aufgabe geworden. Allgemeine Suchmaschinen und Gesundheitsportale können dieser komplexen Aufgabe nur unzureichend nachkomme...
متن کاملProgrammieren als Handwerkszeug im ersten Semester
Ich verfolge in meinem Beitrag zwei Gedankenlinien zur Verbesserung der Lehre. Zum einen stelle ich das Problem der Heterogenität (Programmieranfänger und Studierende mit Vorerfahrung) dar, analysiere die speziellen Schwierigkeiten der Programmieranfänger und zeige Wege auf, mit dieser Situation produktiv umzugehen. Zum anderen stelle ich die Möglichkeit vor, mit Hilfe einer Projektphase im ers...
متن کاملDigitalisierung im Handwerk als Lernprozess fördern
Die Digitalisierung stellt sich für Handwerksbetriebe nicht als trivialer Prozess dar. Vielmehr kann er als Lernprozess verstanden werden, der einer individuellen und organisationalen Kompetenzentwicklung der Handwerksbetriebe bedarf. Im Beitrag wird dazu die Frage verfolgt, mit Hilfe welcher systematischer Vorkehrungen die digitale Transformation m Handwerk pädagogisch durch die Handwerksorgan...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: MMW - Fortschritte der Medizin
سال: 2012
ISSN: 1438-3276
DOI: 10.1007/s15006-012-1594-x